3161. Techniques of Program Structure and design
Author: / Edward Yourdon
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming
Classification :
001
.
642
Y81t


3162. Techniques of program structure and design
Author: / Edward Yourdon
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming
Classification :
QA
76
.
6
.
Y68


3163. Techniques of program structure and design
Author: Yourdon, Edward
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Electronic digetal computers- Programming
Classification :
005
Y81t


3164. Techniques of program structure and design
Author: Yourdon, Edward
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Electronic digetal computers- Programming
Classification :
005
Y81t


3165. Techniques of program structure and design
Author: Yourdon, Edward
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Electronic digetal computers- Programming
Classification :
005
Y81t


3166. Technology + culture = software
Author: Rocchi, Paolo
Library: Central Library and Documentation Center (Kerman)
Subject: ، Programming )Electronic computers(,، Software engineering
Classification :
QA
76
.
6
.
R64
2000


3167. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T4414
1994


3168. Temporal logic : mathematical foundations and computational aspects
Author: Gabbay, Dov M.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
G27
1994


3169. Temporal logic of programs
Author: / Fred Kroger
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987


3170. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987


3171. Temporal logic of programs
Author: KROGER,FRED
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
QA
76
.
6
.
K753


3172. Temporal logic of programs
Author: Kroger, Fred
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
K753
1987


3173. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
Author: editors, J.W. de Bakker and J.J.M.M. Rutten
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
Classification :
QA
76
.
642
.
T45
1992


3174. The Agent Modeling Language--AML
Author: / Radovan Cervenka, Ivan Trencansky
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
Classification :
QA
,
76
.
76
,.
I58
,
C47
,
2007


3175. The Art of Modelling Computational Systems :
Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
Classification :
QA76
.
7
.
A78
2019


3176. The Art of computer programming
Author: / Donald Ervin Knuth
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers-- programming
Classification :
QA
76
.
6
.
K64


3177. The C answer book :
Author: Clovis L. Tondo, Scott E. Gimpel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)

3178. The Computer programmer's dictionary and handbook
Author: Spencer, Donald D
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Dictionaries ، Programming )Electronic computers(,Machines - Dictionaries ، Electronic data processing
Classification :
QA
76
.
15
.
S65


3179. The Craft of programming
Author: Reynolds, John C
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers
Classification :
QA
76
.
6
.
R47


3180. The Elements of digital computer programming
Author: Reilly, Edwin D
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers
Classification :
QA
76
.
5
.
R44

